A NEW METHOD OF CIRCUMSCRIBING BELIEFS THE PROPOSITIONAL CASE

JOURNAL ARTICLE published 1997 in Fundamenta Informaticae

Authors: Sukhamay Kundu | Jianhua Chen

Preface

JOURNAL ARTICLE published 4 March 2016 in Fundamenta Informaticae

Authors: Parosh Aziz Abdulla | Stéphane Demri | Alain Finkel | Jérôme Leroux | Igor Potapov

Editors: Parosh Aziz Abdulla | Stéphane Demri | Alain Finkel | Jérôme Leroux | Igor Potapov

On Time and Space Requirements for Pushdown Automata of Higher Order

JOURNAL ARTICLE published 1 October 1989 in Fundamenta Informaticae

Authors: Wojciech Kowalczyk

Implicit Definability of Algebraic Structures by Means of Program Properties1

JOURNAL ARTICLE published 1 July 1981 in Fundamenta Informaticae

Authors: Jan Bergstra | Jerzy Tiuryn

A Complete Proof System for SCCS with Modal Assertions

JOURNAL ARTICLE published 1 October 1986 in Fundamenta Informaticae

Authors: Glynn Winskel

On Insertion Grammars with Maximum Parallel Derivation

JOURNAL ARTICLE published 2009 in Fundamenta Informaticae

Authors: Liviu P. Dinu

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

JOURNAL ARTICLE published 9 December 2015 in Fundamenta Informaticae

Authors: Jacek Sroka | Piotr Chrząstowski-Wachtel | Jan Hidders

Self-Verifying Pushdown and Queue Automata

JOURNAL ARTICLE published 12 May 2021 in Fundamenta Informaticae

Authors: Henning Fernau | Martin Kutrib | Matthias Wendlandt

Editors: Mika Hirvensalo | František Mráz | Daniel Průša

Stability Analysis of Oja-RLS Learning Rule

JOURNAL ARTICLE published 1998 in Fundamenta Informaticae

Authors: Radosław Sikora | Władysław Skarbek

On the Fermat-Weber Point of a Polygonal Chain and its Generalizations

JOURNAL ARTICLE published 2011 in Fundamenta Informaticae

Authors: Bhaswar B. Bhattacharya

Design and Analysis of an Optimal Control Algorithm for the Output of a Stochastic Automaton

JOURNAL ARTICLE published 1 January 1982 in Fundamenta Informaticae

Authors: Ernst E. Doberkat

An Operational Petri Net Semantics for A2CCS

JOURNAL ARTICLE published 2011 in Fundamenta Informaticae

Authors: Roberto Gorrieri | Cristian Versari

Universal Query Language for Unified State Model

JOURNAL ARTICLE published 2014 in Fundamenta Informaticae

Authors: Piotr Wiśniewski | Krzysztof Stencel

Daniel Simson Obituary

JOURNAL ARTICLE published 12 September 2022 in Fundamenta Informaticae

Authors: Stanisław Kasjan | Damian Niwiński

Operation Properties and Algebraic Application of Covering Rough Sets

JOURNAL ARTICLE published 2 July 2018 in Fundamenta Informaticae

Authors: Qingzhao Kong | Weihua Xu

A Second-order Corrector Infeasible Interior-point Method with One-norm wide Neighborhood for Symmetric Optimization

JOURNAL ARTICLE published 8 February 2020 in Fundamenta Informaticae

Authors: Behrouz Kheirfam

Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task Applications

JOURNAL ARTICLE published 2013 in Fundamenta Informaticae

Authors: Justin M. Wozniak | Timothy G. Armstrong | Ketan Maheshwari | Ewing L. Lusk | Daniel S. Katz | Michael Wilde | Ian T. Foster

Binary Symmetric Matrix Inversion Through Local Complementation

JOURNAL ARTICLE published 2012 in Fundamenta Informaticae

Authors: Robert Brijder | Hendrik Jan Hoogeboom

Stochastic Model of Evolutionary and Immunological Multi-Agent Systems: Parallel Execution of Local Actions

JOURNAL ARTICLE published 2009 in Fundamenta Informaticae

Authors: Robert Schaefer | Aleksander Byrski | Maciej Smołka

Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach

JOURNAL ARTICLE published 1996 in Fundamenta Informaticae

Authors: Zbigniew Suraj